Juris Hartmanis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Computers and Intractability: A Guide to the Theory of NP-Completeness.by Michael R. Garey; David S. Johnson

Review by: Juris Hartmanis

Journal:

Year:

1982

Language:

english

File:

PDF, 299 KB

english, 1982

2

Turing Award lecture on computational complexity and the nature of computer science

Hartmanis, Juris

Journal:

Communications of the ACM

Year:

1994

Language:

english

File:

PDF, 1.05 MB

english, 1994

3

Relations between diagonalization, proof systems, and complexity gaps

Juris Hartmanis

Journal:

Theoretical Computer Science

Year:

1979

Language:

english

File:

PDF, 1.55 MB

english, 1979

4

One-way functions and the nonisomorphism of NP-complete sets

Juris Hartmanis, Lane A. Hemachandra

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

5

[Lecture Notes in Computer Science] The World Wide Web and Databases Volume 1997 || Quilt: An XML Query Language for Heterogeneous Data Sources

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Suciu, Dan, Vossen, Gottfried

Year:

2001

Language:

english

File:

PDF, 99 KB

english, 2001

6

Problems for Solution: 4869-4874

M. S. Klamkin, D. S. Mitrinovitch, Juris Hartmanis, Ky Fan, W. R. Utz and D. J. Newman

Journal:

American Mathematical Monthly

Year:

1959

Language:

english

File:

PDF, 257 KB

english, 1959

7

Complexity classes without machines: On complete languages for UP

Juris Hartmanis, Lane A. Hemachandra

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 1012 KB

english, 1988

8

Space bounded computations: review and new separation results

Desh Ranjan, Richard Chang, Juris Hartmanis

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 564 KB

english, 1991

9

On non-determinancy in simple computing devices

Juris Hartmanis

Journal:

Acta Informatica

Year:

1972

Language:

english

File:

PDF, 511 KB

english, 1972

10

On sparse sets in NP–P

Juris Hartmanis

Journal:

Information Processing Letters

Year:

1983

Language:

english

File:

PDF, 445 KB

english, 1983

11

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Securing the AES Finalists Against Power Analysis Attacks

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 251 KB

english, 2001

12

Observations About the Development of Theoretical Computer Science

Hartmanis, Juris

Journal:

IEEE Annals of the History of Computing

Year:

1981

Language:

english

File:

PDF, 12.32 MB

english, 1981

13

[Lecture Notes in Computer Science] The World Wide Web and Databases Volume 1997 || XML and Object-Relational Database Systems Enhancing Structural Mappings Based on Statistics

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Suciu, Dan, Vossen, Gottfried

Year:

2001

Language:

english

File:

PDF, 216 KB

english, 2001

14

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Efficient Methods for Generating MARS-Like S-Boxes

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 113 KB

english, 2001

15

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Derandomizing Arthur-Merlin Games under Uniform Assumptions

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Year:

2000

Language:

english

File:

PDF, 158 KB

english, 2000

16

A Note on the Lattice of Geometries

Juris Hartmanis

Journal:

Proceedings of the American Mathematical Society

Year:

1957

Language:

english

File:

PDF, 133 KB

english, 1957

17

4871

Juris Hartmanis, W. M. Perel and R. C. Wherritt

Journal:

American Mathematical Monthly

Year:

1961

Language:

english

File:

PDF, 103 KB

english, 1961

18

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1125 || A comparison of HOL and ALF formalizations of a categorical coherence theorem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, von Wright, Joakim, Grundy, Jim, Harrison, John

Year:

1996

Language:

english

File:

PDF, 811 KB

english, 1996

19

Editor's foreword

Juris Hartmanis

Journal:

Journal of Computer and System Sciences

Year:

1989

File:

PDF, 31 KB

1989

20

The random oracle hypothesis is false

Richard Chang, Benny Chor, Oded Goldreich, Juris Hartmanis, Johan Håstad, Desh Ranjan, Pankaj Rohatgi

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 827 KB

english, 1994

21

On hausdorff and topological dimensions of the kolmogorov complexity of the real line

Jin-yi Cai, Juris Hartmanis

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 767 KB

english, 1994

22

Homomorphic images of linear sequential machines

Juris Hartmanis, Wayne A. Davis

Journal:

Journal of Computer and System Sciences

Year:

1967

Language:

english

File:

PDF, 399 KB

english, 1967

23

Eleventh Annual Switching and Automata Theory Symposium

Jack W. Carlyle, Sheila Greibach, Juris Hartmanis, E.K. Blum

Journal:

Journal of Computer and System Sciences

Year:

1972

File:

PDF, 20 KB

1972

24

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Provable Security against Differential and Linear Cryptanalysis for the SPN Structure

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 159 KB

english, 2001

25

Independence results about context-free languages and lower bounds

Juris Hartmanis

Journal:

Information Processing Letters

Year:

1985

Language:

english

File:

PDF, 575 KB

english, 1985

26

On sparse oracles separating feasible complexity classes

Juris Hartmanis, Lane Hemachandra

Journal:

Information Processing Letters

Year:

1988

Language:

english

File:

PDF, 584 KB

english, 1988

27

The application of some basic inequalities for entropy

Juris Hartmanis

Journal:

Information and Control

Year:

1959

Language:

english

File:

PDF, 635 KB

english, 1959

28

The Equivalence of Sequential Machine Models

Hartmanis, Juris

Journal:

IEEE Transactions on Electronic Computers

Year:

1963

Language:

english

File:

PDF, 488 KB

english, 1963

29

Two Tests for the Linearity of Sequential Machines

Hartmanis, Juris

Journal:

IEEE Transactions on Electronic Computers

Year:

1965

Language:

english

File:

PDF, 968 KB

english, 1965

30

[Lecture Notes in Computer Science] Information Security Volume 1975 || Towards a Practical Secure Framework for Mobile Code Commerce

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Pieprzyk, Josef, Seberry, Jennifer, Okamoto, Eiji

Year:

2000

Language:

english

File:

PDF, 161 KB

english, 2000

31

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Real Time Cryptanalysis of A5/1 on a PC

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 312 KB

english, 2001

32

The Boolean Hierarchy I: Structural Properties

Cai, Jin-Yi, Gundermann, Thomas, Hartmanis, Juris, Hemachandra, Lane A., Sewelson, Vivian, Wagner, Klaus, Wechsung, Gerd

Journal:

SIAM Journal on Computing

Year:

1988

Language:

english

File:

PDF, 2.33 MB

english, 1988

33

The Boolean Hierarchy II: Applications

Cai, Jin-Yi, Gundermann, Thomas, Hartmanis, Juris, Hemachandra, Lane A., Sewelson, Vivian, Wagner, Klaus, Wechsung, Gerd

Journal:

SIAM Journal on Computing

Year:

1989

Language:

english

File:

PDF, 1.95 MB

english, 1989

34

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Improved Cryptanalysis of Rijndael

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 396 KB

english, 2001

35

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Undecidability Results for Monoids with Linear-Time Decidable Word Problems

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Year:

2000

Language:

english

File:

PDF, 181 KB

english, 2000

36

[IEEE 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Tucson, AZ, USA (1983.11.7-1983.11.9)] 24th Annual Symposium on Foundations of Computer Science (sfcs 1983) - Generalized Kolmogorov complexity and the structure of feasible computations

Hartmanis, Juris

Year:

1983

Language:

english

File:

PDF, 906 KB

english, 1983

37

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2573 || Budgeted Maximum Graph Coverage

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kučera, Luděk

Year:

2002

Language:

english

File:

PDF, 839 KB

english, 2002

38

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || Bitslice Ciphers and Power Analysis Attacks

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

39

[IEEE 9th Annual Symposium on Switching and Automata Theory (swat 1968) - Schenedtady, NY, USA (1968.10.15-1968.10.18)] 9th Annual Symposium on Switching and Automata Theory (swat 1968) - Tape reversal complexity hierarchies

Fischer, Patrick C., Hartmanis, Juris, Blum, Manuel

Year:

1968

Language:

english

File:

PDF, 1.08 MB

english, 1968

40

[IEEE 15th Annual Symposium on Switching and Automata Theory (swat 1974) - USA (1974.10.14-1974.10.16)] 15th Annual Symposium on Switching and Automata Theory (swat 1974) - On the power of multiplication in random access machines

Hartmanis, Juris, Simon, Janos

Year:

1974

Language:

english

File:

PDF, 406 KB

english, 1974

41

[IEEE 20th Annual Symposium on Foundations of Computer Science (sfcs 1979) - San Juan, Puerto Rico (1979.10.29-1979.10.31)] 20th Annual Symposium on Foundations of Computer Science (sfcs 1979) - Succinctness, verifiability and determinism in representations of polynomial-time languages

Baker, T. P., Hartmanis, Juris

Year:

1979

Language:

english

File:

PDF, 612 KB

english, 1979

42

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Classification of Various Neighborhood Operations for the Nurse Scheduling Problem

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Year:

2000

Language:

english

File:

PDF, 141 KB

english, 2000

43

Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson)

Hartmanis, Juris

Journal:

Year:

1982

Language:

english

File:

PDF, 298 KB

english, 1982

44

Logic, Automata, and Algorithms (Mark A. Aisermann, Leonid A. Gusev, Lev I. Rozonoer, Irena M. Smirnova and Aleksey A. Tal*#8217;)

Hartmanis, Juris

Journal:

Year:

1972

Language:

english

File:

PDF, 257 KB

english, 1972

45

[Lecture Notes in Computer Science] Fast Software Encryption Volume 1978 || A Chosen-Plaintext Linear Attack on DES

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Schneier, Bruce

Year:

2001

Language:

english

File:

PDF, 157 KB

english, 2001

46

Maximal Autonomous Clocks of Sequential Machines

Hartmanis, Juris

Journal:

IEEE Transactions on Electronic Computers

Year:

1962

Language:

english

File:

PDF, 847 KB

english, 1962

47

[Lecture Notes in Computer Science] Algorithms and Computation Volume 1969 || Compressed Text Databases with Efficient Query Algorithms Based on the Compressed Suffix Array

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Lee, D. T., Teng, Shang-Hua

Year:

2000

Language:

english

File:

PDF, 163 KB

english, 2000

48

[Lecture Notes in Computer Science] Graph-Theoretic Concepts in Computer Science Volume 2573 || Maximum Cardinality Search for Computing Minimal Triangulations

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Kučera, Luděk

Year:

2002

Language:

english

File:

PDF, 486 KB

english, 2002

49

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Building Industrial Applications with Constraint Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Year:

2001

Language:

english

File:

PDF, 860 KB

english, 2001

50

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 ||

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Year:

2001

Language:

english

File:

PDF, 3.88 MB

english, 2001